w{-}eval($w$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}val($w$; w{-}act($w$; $e$))